variable binding operator 예문

• In this manner, function definition expressions of the kind shown above can be thought of as " the " variable binding operator, analogous to the lambda expressions of lambda calculus.